Issue3207.agda:7,8-12
Universe Prop is disabled (use options --prop and --no-prop to
enable/disable Prop)
when checking that the expression Prop has type _1
